Formal proof - Alemán Inglés Diccionario